#ifndef GIC_V3_H
#define GIC_V3_H

#define ICC_SRE_EL2_SRE			(1 << 0)
#define ICC_SRE_EL2_ENABLE		(1 << 3)

#endif